D5.1v01 Inferencing Support for the Semantic Web

In this document we present and discuss the formal framework and tool suite that has been (resp. is in the process of being) developed along with Web Service Modeling Ontology (WSMO) and the Web Service Modeling Language (WSML) in order to provide a inferencing support in the area of semantic web services. In particular, we investigate and analyze what kind of formal statements so-called proof obligations need to be formally established in the context of semantic description of web services by means of WSMO and the corresponding WSML. Along our way, we identify and use well-established methods and tools that help to achieve our goals. Eventually, we describe the underlying principles for verifying proof obligations automatically and explain the tools and techniques we have applied and developed for that purpose. Together, WSMO and WSML as well as our tool suite constitute the necessary semantic infrastructure that is needed for making semantic web services come true. Only such an infrastructure allows us to exploit the full-potential of web service technology in the context of Enterprise Application Integration (EAI) and fully-dynamic eCommerce. The current version of this document is in many ways incomplete. Therefore you have to consider this only as a first draft of the deliverable that will continuously be extended and enhanced.